[計] 并行程序驗證 concurrent program: 并行程序program verification: 程序檢驗; 程序驗證concurrent program execution: 同時執(zhí)行程序modular concurrent program: 模塊并行程序; 模塊化并行程序proving of concurrent program: 并行程序證明下載手機(jī)詞典可隨時隨地查詞查翻譯